No casting needed