let
rec
pw2 (m:float) =
if
m = 0.0
then
1.0
else
2.0*.(pw2 (m-.1.0))