Fix floating-point types to double; mapping from/to micros