x86_64: fix some floating point encoding errors

1f18b53589Jacob Young committed on 4/26/2023, 11:05:17 PMparent26d4f9b
6 files changedLine totals unavailable