FPRH_MANTH_MASK
mant32 = (frame->tf_fprh & FPRH_MANTH_MASK);
mant64 = frame->tf_fprh & FPRH_MANTH_MASK;