Add `io.write_f16` `io.write_f32` `io.write_f64`
Add `io.write_f16` `io.write_f32` `io.write_f64`

gingerBill/Odin,ThisDrunkDane/Odin,ThisDrunkDane/Odin,gingerBill/Odin,gingerBill/Odin,gingerBill/Odin,ThisDrunkDane/Odin