<?php //DBFloatFormattingOptions_d16d371ce15342ef977b37e4a70f3a9d

return [PHP_INT_MAX, '9d171d58a1a4eebf9d936e054055c75a'];