workaround for original module of Integer type