module FixnumExtension