point3: point cast operator is const