Double precision extension