let from_int i = i