let int i = inject (Num (float_of_int i))