In particular, avoid using the deprecated dble() function. Rather use the real() cast function, with the appropriate kind parameter.