Formatting.fixedPoint(x, w, p) returns the fixed point
representation of x, right justified in a string field of width
at least w, with p digits after the decimal point.
Formatting.floatingPoint(x, w, i, p) returns the floating point
representation of x, right justified in a string field of width
at least w, with i digits before the decimal point and p digits
after the decimal point.
pte.getFrameNumber() returns the frame number currently assigned to
the page that is controlled by pte or -1 if if there is no frame
assigned to the page.
Formatting.whiteEquivalent(str) returns a string that displays in
the same space as str, but contains space characters replacing the
non-white characters of str.
Formatting.whiteEquivalent(str, ch) returns a string that displays
in the same space as str, but contains copies of ch replacing the
non-white characters of str.