Hi, I would like to construct the double value from the operands of const_double. How to do so? Particularly, I don't understand how the operands are created from a double / float value. Rgds.