Fast Unrounded Scaling: Proof by Ivy

Proof that the fast unrounded scaling implementation is correct. (Floating Point Formatting, Part 4)