26.1.13.22 Instruction modf64

Synopsys:

modf64

Push the remainder of dividing the two 64-bit floating-point numbers at the top of the stack given that they’re represented as 64-bit unsigned integers.

Stack: ( ULONG ULONG -- ULONG ULONG ULONG )