let float f = inject (Num f)