Make 'double' be the same as single precision (since actual IEEE doubles are not supported by hardware)