Explicitly cast to less precise type