We need Real to support Inf/-Inf right now