Is a temperature of 37.5 in a baby high