question: returns largest double that would encode to int x. concode_field_sep int MIN_ENCODED_VALUE concode_elem_sep double RADIANS_PER_METER concode_elem_sep double DECODE concode_elem_sep int BITS concode_elem_sep double MAX_VALUE concode_elem_sep double RADIANS_PER_DEGREE concode_elem_sep double MUL concode_elem_sep int MAX_ENCODED_VALUE concode_field_sep GeoPath fromPath concode_elem_sep double decodeValueFloor concode_elem_sep GeoBBox fromBox concode_elem_sep double getNextSafeDouble concode_elem_sep double fromMeters concode_elem_sep GeoPolygon fromPolygon concode_elem_sep GeoPolygon fromPolygon concode_elem_sep double decodeValue concode_elem_sep List<GeoPolygonFactory.PolygonDescription> convertToDescription concode_elem_sep GeoCircle fromDistance concode_elem_sep double fromDegrees concode_elem_sep GeoPolygon fromLargePolygon concode_elem_sep int encodeValue
target: double function ( int arg0 ) { assert arg0 < Integer . MAX_VALUE ; return Math . nextDown ( ( arg0 + 1 ) * DECODE ) ; }