replace Integer with Int