module RR::DoubleDefinitions::DoubleDefinition::TimesDefinitionConstructionMethods