Rename type: DoublelengthFloat -> Doublelength