| 470 | */ |
| 471 | |
| 472 | __inline_call ia_flt operator * ( |
| 473 | ia_flt const& _aa, |
| 474 | REAL_TYPE _bb |
| 475 | ) |
| 476 | { |
| 477 | REAL_TYPE _lo, _up; |
| 478 | |
| 479 | if (_bb > (REAL_TYPE) +0.) |
| 480 | { |
| 481 | _lo = mul_dn(_aa.lo(), _bb) ; |
| 482 | _up = mul_up(_aa.up(), _bb) ; |
| 483 | } |
| 484 | else |
| 485 | if (_bb < (REAL_TYPE)+0.) |
| 486 | { |
| 487 | _lo = mul_dn(_aa.up(), _bb) ; |
| 488 | _up = mul_up(_aa.lo(), _bb) ; |
| 489 | } |
| 490 | else |
| 491 | { |
| 492 | _lo = (REAL_TYPE)+0. ; |
| 493 | _up = (REAL_TYPE)+0. ; |
| 494 | } |
| 495 | |
| 496 | return ( ia_flt(_lo, _up) ) ; |
| 497 | } |
| 498 | |
| 499 | __inline_call ia_flt operator * ( |
| 500 | REAL_TYPE _aa, |