Simplify ConvertIntToDouble to separate the part that load double into 2 GPRs into
a new method (which is only used in one special case), so that ConvertIntToDouble
does not need dst1 and dst2 in the general case.
fix formatting issues
fix a problem in previous fix 382cff96d9912935decab9cc224f735f15be86ac