module Origen::IntegerExtension