wrapped
MiniInt