Implement infinity() and use it instead of 1.0/0.0.