TODO: maybe default options should count towards the number of arguments

@brief return whether value is a floating-point number @sa https://json.nlohmann.me/api/basic_json/is_number_float/

@brief return whether value is an integer number @sa https://json.nlohmann.me/api/basic_json/is_number_integer/

set iterator to a defined beginning

! @brief unget current character (read it again on next get) We implement unget by setting variable next_unget to true. The input is not

@brief return flattened JSON value @sa https://json.nlohmann.me/api/basic_json/flatten/

return whether the iterator is at end

@brief return whether value is an unsigned integer number @sa https://json.nlohmann.me/api/basic_json/is_number_unsigned/

! @brief determine system byte order @return true if and only if system's byte order is little endian @note from https://stackoverflow.com/a/1001328

! @brief post-increment (it++) @pre The iterator is initialized; i.e. `m_object != nullptr`. */

! @brief post-decrement (it--) @pre The iterator is initialized; i.e. `m_object != nullptr`. */

reset token_buffer; current character is beginning of token

@brief returns the number of elements @sa https://json.nlohmann.me/api/basic_json/size/

@brief exchanges the values @sa https://json.nlohmann.me/api/basic_json/swap/

returns the explanatory string

! @param[in] j JSON value to serialize @pre j.type() == value_t::object */

! @param[in] j JSON value to serialize */

! @param[in] j JSON value to serialize */

! @param[in] j JSON value to serialize @param[in] use_count whether to use '#' prefixes (optimized format) @param[in] use_type wheth

@brief access specified array element with bounds checking @sa https://json.nlohmann.me/api/basic_json/at/

@brief returns a const reverse iterator to the last element @sa https://json.nlohmann.me/api/basic_json/crbegin/

@brief returns a const reverse iterator to one before the first @sa https://json.nlohmann.me/api/basic_json/crend/

! @brief dump a floating-point number Dump a given floating-point number to output stream @a o. Works internally with @a number_buffer.

! For n != 0, returns k, such that pow10 := 10^(k-1) <= n < 10^k. For n == 0, returns 1 and sets pow10 := 1. */

! For a normalized diyfp w = f * 2^e, this function returns a (normalized) cached power-of-ten c = f_c * 2^e_c, such that the exponent of the product