Adding REAL32 and REAL64 types