Seems reasonable. Null pointers are rumored to have cost billions in waste and failures. And they're trivial to fix with a little bit of static typing.
Although that little bit of static typing would probably have dealt with the vast majority of expensive null-pointer bugs.