add a function to construct a floating point value from mantissa and exponent

[simonvonhackewitz]

and maybe the sign bit

Similar to math.ldexp(x, i) in Python

This is related to idiom 248 which was implemented in tokiwa-software/fuzion-idioms#141