Minor, but maybe clearer: `from libc.float import DBL_MAX`