/* The following two definitions concern the type of the keys used for
the heaps. That should be handled via configure (FIXME). */
typedef long double xbt_heap_float_t;
/* The following two definitions concern the type of the keys used for
the heaps. That should be handled via configure (FIXME). */
typedef long double xbt_heap_float_t;