/* Table 3, double precision floating-point comparison helper functions  */
int __aeabi_dcmpeq(aeabi_double_t a, aeabi_double_t b)
/* Table 3, double precision floating-point comparison helper functions  */
int __aeabi_dcmpeq(aeabi_double_t a, aeabi_double_t b)
{
  return f64_eq (f64_from_d (a), f64_from_d (b));
}