now using double-conversion for is_number