let
float f = inject (
Num
f)