increased precision: null-casts can never fail