module Gecode::FixnumEnum::Element