rename DoubleFloat types