Patch title: Release 85 bulk changes
Abstract:
File: /pliant/language/type/number/floatting_point.page
Key:
    Removed line
    Added line
title "Floating point numbers"

header "Floating point data types"

  [These are the various floating point number types available in Pliant:]

  table columns 2
    cell [Float32] ; cell [32 bits encoded floating point number]
    cell [Float64 or Float] ; cell [64 bits encoded floating point number]

header "The Floating point operations"

  table columns 2
    cell
      listing
        `a ¤+ `b
    cell
      [sums the two numbers[lf]]
      [If the debugging level is equal or greater than 2 and the operation leads to an overflow, a run time error will be reported]
    cell
      listing
        `a ¤- `b
    cell
      [substract]
    cell
      listing
        `a ¤* `b
    cell
      [multiply]
    cell
      listing
        `a ¤/ `b
    cell
      [floating point division (the result is a floating point number even if both operands are integers)]
    cell
      listing
        `a ¤^ `b
    cell
      [exponent]