deal with slightly different format for -Inf