INTEGER -> BINT
REAL -> BREAL
formatting