to be an integer Overflow condition, and CR0.SO, XER.SO and XER.OV
 are all set as normal for any GPR instructions that overflow.
 
+\newpage{}
+
 ### FP to Integer Conversion Simplified Pseudo-code
 
 Key for pseudo-code:
 ```
     # based on xscvdpuxws
     reset_xflags()
-
     if RCS[0] = 1 then  # if Single mode
         src <- bfp_CONVERT_FROM_BFP32(SINGLE((FRB)))
     else
     XER SO, OV, OV32 (if OE=1)
     FPCSR   (TODO: which bits?)
 
-----------
-
-\newpage{}
-
 ### Assembly Aliases
 
 For brevity, `[o]` is used to mean `o` is optional there.