"overflow" detection for fp values outside of `f32` range

[mhasel]

We might want to add an "overflow" detection for values outside of f32 range similar to the existing integer overflow detection to warn the user about truncation, as can be seen in this test case.

Originally posted by @mhasel in #1526 (comment)