Synopsis
int __float32_eq(float32_t arg0,
                 float32_t arg1);
Description

__float32_eq compares arg0 to arg1. __float32_eq returns zero if arg0 is different from arg1, and a non-zero value if arg0 is equal to arg1.