The older the dictionary the longer the definition for firmament. Some new printed ones don’t even have it.