let of_int n = Q.from_ints n 1