If you want 0.5 ULP math here is also Rust source. Not everything comes from CORE-Math but it should be correct for nearest rounding mode and is pretty straightforward to copy.