RT <- (FRB)
```
-move a 32/64-bit float from a FPR to a GPR, just copying bits of the
+Move a 32/64-bit float from a FPR to a GPR, just copying bits of the
IEEE754 representation directly. This is equivalent to `stfs` followed
by `lwz` or equivalent to `stfd` followed by `ld`. As `fmvtg` is just
copying bits, `FPSCR` is not affected in any way.
src <- bfp_CONVERT_FROM_UI32((RB)[32:63])
FRT <- bfp64_CONVERT_FROM_BFP(src)
else
- # rounding may be necessary
- # based off xscvuxdsp
+ # rounding may be necessary. based off xscvuxdsp
reset_xflags()
switch(IT)
case(0): # Signed 32-bit