let from_int x = from_ints x 1