// Compile: cc -std=c23 test_7_7_float.c
#include <float.h>
#include <assert.h>

int main(void) {
  assert(FLT_RADIX >= 2);
  return 0;
}