rewrite type cast tests