Add partila check-cast implementation
Improve unary math op test coverage