Added some casting operators