6.75 floating points stuff

Below is from "accuracy and stability of numerical algorithms", by Highma, page 36