/* Table 5, Standard single precision floating-point comparison helper functions  */
int __aeabi_fcmpeq(aeabi_float_t a, aeabi_float_t b)
/* Table 5, Standard single precision floating-point comparison helper functions  */
int __aeabi_fcmpeq(aeabi_float_t a, aeabi_float_t b)
{
  return f32_eq (f32_from_f (a), f32_from_f (b));
}