Fix a small bug which results in failure of MC64.

Note that for mixed precision, we would like to force everything
inside MC64 to be double. For the previous version, one place in
MC64 is NOT forced to using double.