fix another oob pointer arithmetic issue in printf floating point