Why are sizes signed in the Futhark programming language?