Yah, it\u2019s defined in conversion. But it\u2019s all the same to the compiler right?  If it was something that was liable to change and needed to be kept in sync (eg nat_strings) it would make sense to cimport it. But for a constant like this it isn\u2019t worth the hassle; it\u2019d be like defining DAYSPERWEEK=7 and importing that all over the place.