F_NEG_NUMBER: Don't cast to INT64 before negation. Solves a sign-extension issue when used with 0x80000000 as argument, though it's debatable whether this value should ever occur in the first place.