§12.8.7 – add text stating an explicit floating-point cast reduces the value to the exact precision of the type

This is a spinoff from ECMA-TC49-TG2/spec#148. The C# (rather than the CLI) Standard needs to normatively define that floating-point operations may be performed in a higher-precision and that a cast `(T)T` forces the value to the exact precision of the type.