Make fixedPoint overloading of "++" inferior.