Fix another spec related to double/float