switched floating point precision from single to double