added an infix cast operator