list-f32([0, 0.0, 0e0, 0.0e0, 0e-1, 0e+1, 0.000e100]);
list-f32([-3.1415, -100000, -0.0e-0]);
list-f32([nan, inf, -inf]);
// Largest normal f32
f32(3.4028234664e38);
// Truncated precision
f32(3.4028234664123e38);
// Too large; infinity
f32(3.4028234664e39);
// Smallest positive non-zero f32
f32(1.4012984643e-45);
// Too small; round to zero
f32(1.4012984643e-46);