module RR::DoubleDefinitions