adding some tests for our typecasting code