26.1.13.26 Instruction lef64 ¶

Synopsys:

lef64

Push the result of comparison of the two 64-bit floating-point numbers at the top of the stack given that they’re represented as 64-bit unsigned integers using <= operator.

Stack: ( ULONG ULONG -- ULONG ULONG INT )