casting done well: homogeneus vectors