Float arithmetic must always return Floats

even if it fits in an Integer
Some extended byte codes