Supporting modules for Conway refinement for omnific integers.