def positive_number_to_smt(number):
    """
    Print a floating-point number in decimal notation (i.e., prevent scientific notation).
    This code is taken from https://stackoverflow.com/a/45604186.
    :param number: floating-point number
    :return: string in decimal notation
    """
    number_as_two_strings = str(number).split('e')
    if len(number_as_two_strings) == 1:
        # no scientific notation needed
        return number_as_two_strings[0]
    base = float(number_as_two_strings[0])
    exponent = int(number_as_two_strings[1])
    result = ''
    if int(exponent) > 0:
        result += str(base).replace('.', '')
        result += ''.join(['0' for _ in range(0, abs(exponent - len(str(base).split('.')[1])))])
    elif int(exponent) < 0:
        result += '0.'
        result += ''.join(['0' for _ in range(0, abs(exponent) - 1)])
        result += str(base).replace('.', '')
    return result