module RR::DoubleDefinitions::DoubleDefinition::DefinitionConstructionMethods