Fix the off-by-one issue
Further polishing
Further polishing
Add a IEEE 64bit FP type