add integer floor function
allow withrepr default values
update example unittest system, fix platform dep.