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