REBINT is now safe to use