##
# Float ISO Test

assert('Float', '15.2.9') do
  Float.class == Class
end

assert('Float#+', '15.2.9.3.1') do
  a = 3.123456788 + 0.000000001
  b = 3.123456789 + 1

  check_float(a, 3.123456789) and
    check_float(b, 4.123456789)
end

assert('Float#-', '15.2.9.3.2') do
  a = 3.123456790 - 0.000000001
  b = 5.123456789 - 1

  check_float(a, 3.123456789) and
    check_float(b, 4.123456789)
end

assert('Float#*', '15.2.9.3.3') do
  a = 3.123456789 * 3.123456789
  b = 3.123456789 * 1

  check_float(a, 9.75598231275019) and
    check_float(b, 3.123456789)
end

assert('Float#/', '15.2.9.3.4') do
  a = 3.123456789 / 3.123456789
  b = 3.123456789 / 1

  check_float(a, 1.0) and
    check_float(b, 3.123456789)
end

assert('Float#%', '15.2.9.3.5') do
  a = 3.123456789 % 3.123456789
  b = 3.123456789 % 1

  check_float(a, 0.0) and
    check_float(b, 0.123456789)
end

assert('Float#<=>', '15.2.9.3.6') do
  a = 3.123456789 <=> 3.123456788
  b = 3.123456789 <=> 3.123456789
  c = 3.123456789 <=> 3.123456790
  a2 = 3.123456789 <=> 3
  c2 = 3.123456789 <=> 4

  a == 1 and b == 0 and c == -1 and
    a2 == 1 and c2 == -1
end

assert('Float#==', '15.2.9.3.7') do
  3.1 == 3.1 and not 3.1 == 3.2
end

assert('Float#ceil', '15.2.9.3.8') do
  3.123456789.ceil == 4
end

assert('Float#finite?', '15.2.9.3.9') do
  3.123456789.finite? and
    not (1.0 / 0.0).finite?
end

assert('Float#floor', '15.2.9.3.10') do
  3.123456789.floor == 3
end

assert('Float#infinite?', '15.2.9.3.11') do
  not 3.123456789.infinite? and
    (1.0 / 0.0).infinite?
end

assert('Float#round', '15.2.9.3.12') do
  a = 3.123456789.round
  b = 3.5.round
  c = 3.499999999.round

  a == 3 and b == 4 and c == 3
end

assert('Float#to_f', '15.2.9.3.13') do
  a = 3.123456789

  check_float(a.to_f, a)
end

assert('Float#to_i', '15.2.9.3.14') do
  3.123456789.to_i == 3
end

assert('Float#truncate', '15.2.9.3.15') do
  3.123456789.truncate == 3
end