he-002

# HumanEval/2

Implement a file **`solution.py`** that completes the function below. Keep the given name and signature; your file must define it at module level.

```python


def truncate_number(number: float) -> float:
    """ Given a positive floating point number, it can be decomposed into
    and integer part (largest integer smaller than given number) and decimals
    (leftover part always smaller than 1).

    Return the decimal part of the number.
    >>> truncate_number(3.5)
    0.5
    """
```

<!-- imported from OpenAI HumanEval (HumanEval/2) -->

# Auto-generated from OpenAI HumanEval HumanEval/2. Do not edit by hand.
from solution import *  # noqa: F401,F403 (prompt helpers may be referenced by tests)
from solution import truncate_number as candidate

METADATA = {
    'author': 'jt',
    'dataset': 'test'
}


def check(candidate):
    assert candidate(3.5) == 0.5
    assert abs(candidate(1.33) - 0.33) < 1e-6
    assert abs(candidate(123.456) - 0.456) < 1e-6


def test_he_002():
    check(candidate)

```
function number_truncate(number: float) -> float:
    "If a positive floating point number is given, it can be decomposed into
    1. * The integer part of the number.
    1. * The decimal part of the number.
    2. * The decimal part of the number minus 1.
    3. * The decimal part of the number minus 1.
    4. * The decimal part of the number minus 1.
    5. * The largest integer smaller than the given number.
    6. * The leftover part always smaller than 1.
    number: float

    3.5 -> 0.5
    3.5 being a positive floating point number, it can be decomposed into
    1. * The integer part of the number.
    1. * The decimal part of the number.
    2. * The decimal part of the number minus 1.
    3. * The decimal part of the number minus 1.
    4. * The decimal part of the number minus 1.
    5. * The largest integer smaller than the given number.
    6. * The leftover part always smaller than 1.
    number: float

    3.5 -> 0.5
    3.5 being a positive floating point number, it can be decomposed into
    1. * The integer part of the number.
    1. * The decimal part of the number.
    2. * The decimal part of the number minus 1.
    3. * The decimal part of the number minus 1.
    4. * The decimal part of the number minus 1.
    5. * The largest integer smaller than the given number.
    6. * The leftover part always smaller than 1.
    3.5 being a positive floating point number, it can be decomposed into
    1. * The integer part of the number.
    1. * The decimal part of the number.
    2. * The decimal part of the number minus 1.
    3. * The decimal part of the number minus 1.
    4. * The decimal part of the number minus 1.
    5. * The largest integer smaller than the given number.
    6. * The leftover part always smaller than 1.
    3.5 being a positive floating point number, it can be decomposed into
    1. * The integer part of the number.
    1. * The decimal part of the number.
    2. * The decimal part of the number minus 1.
    3. * The decimal part of the number minus 1.
    4. * The decimal part of the number minus 1.
    5. * The largest integer smaller than the given number.
    6. * The leftover part always smaller than 1.
    3.5 being a positive floating point number, it can be decomposed into
        1. * The integer part of the number.
        1. * The decimal part of the number.
        2. * The decimal part of the number minus 1.
        3. * The decimal part of the number minus 1.
        4. * The decimal part of the number minus 1.
        5. * The largest integer smaller than the given number.
        6. * The leftover part always smaller than 1.
        3.5 being a positive floating point number, it can be decomposed into
          1. * The integer part of the number.
          1. * The decimal part of the number.
          2. * The decimal part of the number minus 1.
          3. * The decimal part of the number minus 1.
          4. * The decimal part of the number minus 1.
          5. * The largest integer smaller than the given number.
          6. * The leftover part always smaller than 1.
          3.5 being a positive floating point number, it can be decomposed into
            1. * The integer part of the number.
            1. * The decimal part of the number.
            2. * The decimal part of the number minus 1.
            3. * The decimal part of the number minus 1.
            4. * The decimal part of the number minus 1.
            5. * The largest integer smaller than the given number.
            6. * The leftover part always smaller than 1.
            3.5 being a positive floating point number, it can be decomposed into
              1. * The integer part of the number.
              1. * The decimal part of the number.
              2. * The decimal part of the number minus 1.
              3. * The decimal part of the number minus 1.
              4. * The decimal part of the number minus 1.
              5. * The largest integer smaller than the given number.
              6. * The leftover part always smaller than 1.
              3.5 being a positive floating point number, it can be decomposed into
                1. * The integer part of the number.
                1. * The decimal part of the number.
                2. * The decimal part of the number minus 1.
                3. * The decimal part of the number minus 1.
                4. * The decimal part of the number minus 1.
                5. * The largest integer smaller than the given number.
                6. * The leftover part always smaller than 1.
                3.5 being a positive floating point number, it can be decomposed into
                  1. * The integer part of the number.
                  1. * The decimal part of the number.
                  2. * The decimal part of the number minus 1.
                  3. * The decimal part of the number minus 1.
                  4. * The decimal part of the number minus 1.
                  5. * The largest integer smaller than the given number.
                  6. * The leftover part always smaller than 1.
                  3.5 being a positive floating point number, it can be decomposed into
                  1. * The integer part of the number.
                  1. * The decimal part of the number.
                  2. * The decimal part of the number minus 1.
                  3. * The decimal part of the number minus 1.
                  4. * The decimal part of the number minus 1.
                  5. * The largest integer smaller than the given number.
                  6. * The leftover part always smaller than 1.
                  3.5 being a positive floating point number, it can be decomposed into
                  1. * The integer part of the number.
                  1. * The decimal part of the number.
                  2. * The decimal part of the number minus 1.
                  3. * The decimal part of the number minus 1.
                  4. * The decimal part of the number minus 1.
                  5. * The largest integer smaller than the given number.
                  6. * The leftover part always smaller than 1.
                  3.5 being a positive floating point number, it can be decomposed into
                  1. * The integer