convert constants to double-float