double record component pattern 분기

whole number인지 fractional·range 밖 값인지 구분한다.

  1. Measurement

    double component를 읽는다

    candidate

  2. int pattern

    int로 exact conversion을 검사한다

    test

  3. Whole branch

    binding int를 사용한다

    exact

  4. Double fallback

    원래 double을 유지한다

    non-exact

핵심: business rounding policy는 exact pattern과 별도 규칙이다.