[ MAlonzo ] compiler binding for primFloatEquality