more strict typecasts