val feet_per_meter = 3.28; val meter_per_foot = 1.0 / feet_per_meter; (* cound not define this in main program due to Reals - (overloading) *) fun minus1(n1) = n1 - 1;