Make further progress with unlimited precision fixed-point negatable class.