It also has range types, avoiding a whole class of bugs.