rdl 2.0.1 → 2.1.0

data/lib/types/core/enumerator.rb

@@ -0,0 +1,24 @@
+RDL.nowrap :Enumerator
+
+RDL.type_params :Enumerator, [:t], :all?
+
+RDL.type :Enumerator, :initialize, '(?Integer) { (Array<u>) -> %any } -> self<u>'
+RDL.type :Enumerator, :initialize, '(?Proc) { (Array<u>) -> %any } -> self<u>' # TODO Proc
+# TODO: deprecated form of new
+RDL.type :Enumerator, :each, '() { (t) -> %any } -> %any' # is there a better RDL.type?
+RDL.type :Enumerator, :each, '() -> self'
+# TODO: args
+RDL.type :Enumerator, :each_with_index, '() { (t, Integer) -> %any } -> %any' # TODO args
+RDL.type :Enumerator, :each_with_index, '() -> Enumerator<[t, Integer]>' # TODO args
+RDL.type :Enumerator, :each_with_object, '(u) { (t, u) -> %any } -> %any' # TODO args
+RDL.type :Enumerator, :each_with_object, '(u) -> Enumerator<[t, u]>' # TODO args
+RDL.type :Enumerator, :feed, '(t) -> nil'
+RDL.type :Enumerator, :inspect, '() -> String'
+RDL.type :Enumerator, :next, '() -> t'
+RDL.type :Enumerator, :next_values, '() -> Array<t>'
+RDL.type :Enumerator, :peek, '() -> t'
+RDL.type :Enumerator, :peek_values, '() -> Array<t>'
+RDL.type :Enumerator, :rewrind, '() -> self'
+RDL.type :Enumerator, :size, '() -> Integer or Float or nil'
+RDL.rdl_alias :Enumerator, :with_index, :each_with_index
+RDL.rdl_alias :Enumerator, :with_object, :each_with_object

data/lib/types/core/exception.rb

@@ -0,0 +1,15 @@
+RDL.nowrap :Exception
+
+RDL.type :Exception, :==, '(%any) -> %bool'
+RDL.type :Exception, :backtrace, '() -> Array<String>'
+RDL.type :Exception, :backtrace_locations, '() -> Array<Thread::Backtrace::Location>'
+RDL.type :Exception, :cause, '() -> nil' # TODO exception is proper postcondition
+RDL.type :Exception, :exception, '(?String) -> Exception' # or error
+# RDL.type :Exception, :initialize, '() -> '
+RDL.type :Exception, :inspect, '() -> String'
+RDL.type :Exception, :message, '() -> String'
+# RDL.type :Exception, :method_missing, '() -> '
+# RDL.type :Exception, :respond_to?, '() -> '
+# RDL.type :Exception, :respond_to_missing?, '() -> '
+RDL.type :Exception, :set_backtrace, '(String or Array<String>) -> Array<String>'
+RDL.type :Exception, :to_s, '() -> String'

data/lib/types/core/file.rb

@@ -0,0 +1,125 @@
+RDL.nowrap :File
+
+RDL.type :File, 'self.absolute_path', '(String file, ?String dir) -> String abs_file'
+RDL.type :File, 'self.atime', '(%path or IO file) -> Time'
+RDL.type :File, 'self.basename', '(String file, ?String suffix) -> String base_name'
+RDL.type :File, 'self.binread', '(String) -> String'
+RDL.type :File, 'self.binread', '(String, Fixnum) -> String'
+RDL.type :File, 'self.binread', '(String, Fixnum, Fixnum) -> String'
+RDL.type :File, 'self.birthtime', '(%path or IO file) -> Time'
+RDL.type :File, 'self.blockdev?', '(String or IO file) -> %bool'
+RDL.type :File, 'self.chardev?', '(String or IO file) -> %bool'
+RDL.type :File, 'self.chmod', '(Integer mode, *String files) -> Integer'
+RDL.type :File, 'self.chown', '(Integer owner, Integer group, *String files) -> Integer'
+RDL.type :File, 'self.ctime', '(%path or IO file) -> Time'
+RDL.type :File, 'self.delete', '(*String files) -> Integer'
+RDL.type :File, 'self.directory?', '(String or IO file) -> %bool'
+RDL.type :File, 'self.dirname', '(String file) -> String dir'
+RDL.type :File, 'self.executable?', '(String file) -> %bool'
+RDL.type :File, 'self.executable_real?', '(String file) -> %bool'
+RDL.type :File, 'self.exist?', '(%path or IO file) -> %bool'
+# exists? deprecated
+RDL.type :File, 'self.expand_path', '(%path file, ?%path dir) -> String abs_file'
+RDL.type :File, 'self.extname', '(String path) -> String'
+RDL.type :File, 'self.file?', '(String or IO file) -> %bool'
+RDL.type :File, 'self.fnmatch', '(String pattern, String path, ?Integer flags) -> %bool'
+RDL.rdl_alias :File, :fnmatch?, :fnmatch
+RDL.type :File, 'self.ftype', '(String file) -> String' # TODO: return in set of strings
+RDL.type :File, 'self.grpowned?', '(String or IO file) -> %bool'
+RDL.type :File, 'self.identical?', '(String or IO file_1, String or IO file_2) -> %bool'
+RDL.type :File, 'self.join', '(*(%path or File or Array<String>)) -> String'
+RDL.type :File, 'self.lchmod', '(Integer mode, *String files) -> Integer'
+RDL.type :File, 'self.lchown', '(Integer owner, Integer group, *String files) -> Integer'
+RDL.type :File, 'self.link', '(String old, String new) -> 0'
+RDL.type :File, 'self.lstat', '(String file) -> File::Stat'
+RDL.type :File, 'self.mtime', '(%path or IO file) -> Time'
+RDL.type :File, 'self.open', '(%path file, ?String file, ?String perm, ?Integer opt, mode:?String, external_encoding: ?String, internal_encoding: ?String, encoding: ?String, textmode: ?%any, binmode: ?%any, autoclose: ?%any) -> File'
+RDL.type :File, 'self.open', '(%path file, ?String mode, ?String perm, ?Integer opt, mode:?String, external_encoding: ?String, internal_encoding: ?String, encoding: ?String, textmode: ?%any, binmode: ?%any, autoclose: ?%any) { (File) -> t } -> t'
+RDL.type :File, 'self.owned?', '(String file) -> %bool'
+RDL.type :File, 'self.path', '(String path) -> String'
+RDL.type :File, 'self.pipe?', '(String file) -> %bool'
+RDL.type :File, 'self.readable?', '(String file) -> %bool'
+RDL.type :File, 'self.readable_real?', '(String file) -> %bool'
+RDL.type :File, 'self.readlink', '(String link) -> String file'
+RDL.type :File, 'self.readldirpath', '(String pathname, ?String dir) -> String real_pathname'
+RDL.type :File, 'self.realpath', '(String pathname, ?String dir) -> String real_pathname'
+RDL.type :File, 'self.rename', '(String old, String new) -> 0'
+RDL.type :File, 'self.setgid?', '(String file) -> %bool'
+RDL.type :File, 'self.setuid?', '(String file) -> %bool'
+RDL.type :File, 'self.size', '(String or IO file) -> Integer'
+RDL.type :File, 'self.size?', '(String or IO file) -> Integer or nil'
+RDL.type :File, 'self.socket?', '(String or IO file) -> %bool'
+RDL.type :File, 'self.split', '(String file) -> [String, String]'
+RDL.type :File, 'self.stat', '(%path file) -> File::Stat'
+RDL.type :File, 'self.sticky?', '(String file) -> %bool'
+RDL.type :File, 'self.symlink', '(String old, String new) -> 0'
+RDL.type :File, 'self.symlink?', '(String file) -> %bool'
+RDL.type :File, 'self.truncate', '(String file, Integer) -> 0'
+RDL.type :File, 'self.umask', '(?Integer) -> Integer'
+RDL.rdl_alias :File, :unlink, :delete
+RDL.type :File, 'self.utime', '(Time atime, Time mtime, *String files) -> Integer'
+RDL.type :File, 'self.world_readable?', '(String or IO file) -> Integer or nil'
+RDL.type :File, 'self.world_writable?', '(String or IO file) -> Integer or nil'
+RDL.type :File, 'self.writable?', '(String file) -> Integer or nil'
+RDL.type :File, 'self.writable_real?', '(String file) -> Integer or nil'
+RDL.type :File, 'self.zero?', '(String or IO file) -> Integer or nil'
+
+RDL.type :File, :atime, '() -> Time'
+RDL.type :File, :birthtime, '() -> Time'
+RDL.type :File, :chmod, '(Integer mode) -> 0'
+RDL.type :File, :chown, '(Integer owner, Integer group) -> 0'
+RDL.type :File, :ctime, '() -> Time'
+RDL.type :File, :flock, '(Integer) -> 0 or %bool'
+RDL.type :File, :initialize, '(String file, ?String mode, ?String perm, ?Integer opt) -> self'
+RDL.type :File, :lstat, '() -> File::Stat'
+RDL.type :File, :mtime, '() -> Time'
+RDL.type :File, :path, '() -> String file'
+RDL.type :File, :size, '() -> Integer'
+RDL.rdl_alias :File, :to_path, :path
+RDL.type :File, :truncate, '(Integer) -> 0'
+
+RDL.nowrap :'File::Stat'
+
+RDL.type :'File::Stat', :<=>, '(File::Stat other) -> -1 or 0 or 1 or nil'
+RDL.type :'File::Stat', :atime, '() -> Time'
+RDL.type :'File::Stat', :birthtime, '() -> Time'
+RDL.type :'File::Stat', :blksize, '() -> Integer or nil'
+RDL.type :'File::Stat', :blockdev?, '() -> %bool'
+RDL.type :'File::Stat', :blocks, '() -> Integer or nil'
+RDL.type :'File::Stat', :chardev?, '() -> %bool'
+RDL.type :'File::Stat', :ctime, '() -> Time'
+RDL.type :'File::Stat', :dev, '() -> Integer'
+RDL.type :'File::Stat', :dev_major, '() -> Integer'
+RDL.type :'File::Stat', :dev_minor, '() -> Integer'
+RDL.type :'File::Stat', :directory?, '() -> %bool'
+RDL.type :'File::Stat', :executable?, '() -> %bool'
+RDL.type :'File::Stat', :executable_real?, '() -> %bool'
+RDL.type :'File::Stat', :file?, '() -> %bool'
+RDL.type :'File::Stat', :ftype, '() -> String'
+RDL.type :'File::Stat', :gid, '() -> Integer'
+RDL.type :'File::Stat', :grpowned?, '() -> %bool'
+RDL.type :'File::Stat', :ino, '() -> Integer'
+RDL.type :'File::Stat', :initialize, '(String file) -> self'
+RDL.type :'File::Stat', :inspect, '() -> String'
+RDL.type :'File::Stat', :mode, '() -> Integer'
+RDL.type :'File::Stat', :mtime, '() -> Time'
+RDL.type :'File::Stat', :nlink, '() -> Integer'
+RDL.type :'File::Stat', :owned?, '() -> %bool'
+RDL.type :'File::Stat', :pip?, '() -> %bool'
+RDL.type :'File::Stat', :rdev, '() -> Integer or nil'
+RDL.type :'File::Stat', :rdev_major, '() -> Integer'
+RDL.type :'File::Stat', :rdev_minor, '() -> Integer'
+RDL.type :'File::Stat', :readable?, '() -> %bool'
+RDL.type :'File::Stat', :readable_real?, '() -> %bool'
+RDL.type :'File::Stat', :setgid?, '() -> %bool'
+RDL.type :'File::Stat', :setuid?, '() -> %bool'
+RDL.type :'File::Stat', :size, '() -> Integer'
+RDL.type :'File::Stat', :socket?, '() -> %bool'
+RDL.type :'File::Stat', :sticky?, '() -> %bool'
+RDL.type :'File::Stat', :symlink?, '() -> %bool'
+RDL.type :'File::Stat', :uid, '() -> Integer'
+RDL.type :'File::Stat', :world_readable?, '() -> Integer or nil'
+RDL.type :'File::Stat', :world_writable?, '() -> Integer or nil'
+RDL.type :'File::Stat', :writable?, '() -> %bool'
+RDL.type :'File::Stat', :writable_real?, '() -> %bool'
+RDL.type :'File::Stat', :zero?, '() -> %bool'

data/lib/types/core/fileutils.rb

@@ -0,0 +1,4 @@
+RDL.nowrap :FileUtils
+
+RDL.type :FileUtils, 'self.cp_r', '(String or Pathname, String or Pathname, ?Hash<:preserve or :noop or :verbose or :dereference_root or :remove_destination, %bool>) -> Array<String>'
+RDL.type :FileUtils, 'self.mkdir_p', '(String or Pathname, ?Hash<:mode or :noop or :verbose, %bool>) -> Array<String>'

data/lib/types/core/fixnum.rb

@@ -0,0 +1,213 @@
+RDL.nowrap :Fixnum
+
+RDL.type :Fixnum, :%, '(Fixnum x {{ x!=0 }}) -> Fixnum', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :%, '(Bignum x {{ x!=0 }}) -> Integer', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :%, '(Float x {{ x!=0 }}) -> Float', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :%, '(Rational x {{ x!=0}}) -> Rational', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :%, '(BigDecimal x {{ x!=0}}) -> BigDecimal', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :&, '(Integer) -> Integer', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :*, '(Integer) -> Integer', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :*, '(Float) -> Float', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :*, '(Rational) -> Rational', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :*, '(BigDecimal) -> BigDecimal', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :*, '(Complex) -> Complex', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.pre(:Fixnum, :*, version: RDL::Globals::FIXBIG_VERSIONS) { |x| if (x.real.is_a?(BigDecimal)||x.imaginary.is_a?(BigDecimal)) then (if x.real.is_a?(Float) then (x.real!=Float::INFINITY && !(x.real.nan?)) elsif(x.imaginary.is_a?(Float)) then x.imaginary!=Float::INFINITY && !(x.imaginary.nan?) else true end) else true end} #can't have a complex with part BigDecimal, other part infinity/NAN
+
+RDL.type :Fixnum, :**, '(Integer) -> %numeric', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :**, '(Float) -> %numeric', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :**, '(Rational) -> %numeric', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :**, '(BigDecimal) -> BigDecimal', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.pre(:Fixnum, :**, version: RDL::Globals::FIXBIG_VERSIONS) { |x| x!=BigDecimal::INFINITY && if self<0 then x<=-1||x>=0 else true end}
+RDL.post(:Fixnum, :**, version: RDL::Globals::FIXBIG_VERSIONS) { |r,x| r.real?}
+RDL.type :Fixnum, :**, '(Complex) -> Complex', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.pre(:Fixnum, :**, version: RDL::Globals::FIXBIG_VERSIONS) { |x| x!=0 && if (x.real.is_a?(BigDecimal)||x.imaginary.is_a?(BigDecimal)) then (if x.real.is_a?(Float) then (x.real!=Float::INFINITY && !(x.real.nan?)) elsif(x.imaginary.is_a?(Float)) then x.imaginary!=Float::INFINITY && !(x.imaginary.nan?) else true end) else true end}
+
+RDL.type :Fixnum, :+, '(Integer) -> Integer', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :+, '(Float) -> Float', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :+, '(Rational) -> Rational', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :+, '(BigDecimal) -> BigDecimal', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :+, '(Complex) -> Complex', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :-, '(Integer) -> Integer', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :-, '(Float) -> Float', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :-, '(Rational) -> Rational', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :-, '(BigDecimal) -> BigDecimal', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :-, '(Complex) -> Complex', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :-@, '() -> Integer', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :+@, '() -> Fixnum', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :/, '(Integer x {{ x!=0 }}) -> Integer', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :/, '(Float x {{ x!=0 }}) -> Float', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :/, '(Rational x {{ x!=0 }}) -> Rational', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :/, '(BigDecimal x {{ x!=0 }}) -> BigDecimal', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :/, '(Complex x {{ x!=0 }}) -> Complex', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.pre(:Fixnum, :/, version: RDL::Globals::FIXBIG_VERSIONS) { if (x.real.is_a?(BigDecimal)||x.imaginary.is_a?(BigDecimal)) then (if x.real.is_a?(Float) then (x.real!=Float::INFINITY && !(x.real.nan?)) elsif(x.imaginary.is_a?(Float)) then x.imaginary!=Float::INFINITY && !(x.imaginary.nan?) else true end) else true end && if (x.real.is_a?(Rational) && x.imaginary.is_a?(Float)) then !x.imaginary.nan? else true end}
+
+RDL.type :Fixnum, :<, '(Integer) -> %bool', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :<, '(Float) -> %bool', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :<, '(Rational) -> %bool', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :<, '(BigDecimal) -> %bool', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :<<, '(Fixnum) -> Integer', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :<=, '(Integer) -> %bool', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :<=, '(Float) -> %bool', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :<=, '(Rational) -> %bool', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :<=, '(BigDecimal) -> %bool', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :<=>, '(Integer) -> Object', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.post(:Fixnum, :<=>, version: RDL::Globals::FIXBIG_VERSIONS) { |r,x| r == -1 || r==0 || r==1}
+RDL.type :Fixnum, :<=>, '(Float) -> Object', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.post(:Fixnum, :<=>, version: RDL::Globals::FIXBIG_VERSIONS) { |r,x| r == -1 || r==0 || r==1}
+RDL.type :Fixnum, :<=>, '(Rational) -> Object', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.post(:Fixnum, :<=>, version: RDL::Globals::FIXBIG_VERSIONS) { |r,x| r == -1 || r==0 || r==1}
+RDL.type :Fixnum, :<=>, '(BigDecimal) -> Object', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.post(:Fixnum, :<=>, version: RDL::Globals::FIXBIG_VERSIONS) { |r,x| r == -1 || r==0 || r==1}
+
+RDL.type :Fixnum, :==, '(Object) -> %bool', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :===, '(Object) -> %bool', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :>, '(Integer) -> %bool', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :>, '(Float) -> %bool', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :>, '(Rational) -> %bool', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :>, '(BigDecimal) -> %bool', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :>=, '(Integer) -> %bool', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :>=, '(Float) -> %bool', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :>=, '(Rational) -> %bool', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :>=, '(BigDecimal) -> %bool', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :>>, '(Integer) -> Integer', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.post(:Fixnum, :>>, version: RDL::Globals::FIXBIG_VERSIONS) { |r,x| r >= 0 }
+
+RDL.type :Fixnum, :[], '(Integer) -> Fixnum', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.post(:Fixnum, :[], version: RDL::Globals::FIXBIG_VERSIONS) { |r,x| r == 0 || r==1}
+RDL.type :Fixnum, :[], '(Rational) -> Fixnum', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.post(:Fixnum, :[], version: RDL::Globals::FIXBIG_VERSIONS) { |r,x| r == 0 || r==1}
+RDL.type :Fixnum, :[], '(Float) -> Fixnum', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.pre(:Fixnum, :[], version: RDL::Globals::FIXBIG_VERSIONS) { |x| x!=Float::INFINITY && !x.nan? }
+RDL.post(:Fixnum, :[], version: RDL::Globals::FIXBIG_VERSIONS) { |r,x| r == 0 || r==1}
+RDL.type :Fixnum, :[], '(BigDecimal) -> Fixnum', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.pre(:Fixnum, :[], version: RDL::Globals::FIXBIG_VERSIONS) { |x| x!=BigDecimal::INFINITY && !x.nan? }
+RDL.post(:Fixnum, :[], version: RDL::Globals::FIXBIG_VERSIONS) { |r,x| r == 0 || r==1}
+
+RDL.type :Fixnum, :^, '(Integer) -> Integer', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :|, '(Integer) -> Integer', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :~, '() -> Fixnum', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :abs, '() -> Integer r {{ r>=0 }}', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :bit_length, '() -> Fixnum r {{ r>=0 }}', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :div, '(Fixnum x {{ x!=0 }}) -> Integer', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :div, '(Bignum x {{ x!=0 }}) -> Fixnum', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :div, '(Float x {{ x!=0 && !x.nan? }}) -> Integer', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :div, '(Rational x {{ x!=0 }}) -> Integer', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :div, '(BigDecimal x {{ x!=0 && !x.nan? }}) -> Integer', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :divmod, '(%real x {{ x!=0 }}) -> [%real, %real]', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.pre(:Fixnum, :divmod, version: RDL::Globals::FIXBIG_VERSIONS) { |x| if x.is_a?(Float) then !x.nan? else true end}
+
+RDL.type :Fixnum, :even?, '() -> %bool', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :fdiv, '(Integer) -> Float', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :fdiv, '(Float) -> Float', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :fdiv, '(Rational) -> Float', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :fdiv, '(BigDecimal) -> BigDecimal', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :fdiv, '(Complex) -> Complex', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.pre(:Fixnum, :fdiv, version: RDL::Globals::FIXBIG_VERSIONS) { |x| if (x.real.is_a?(BigDecimal)||x.imaginary.is_a?(BigDecimal)) then (if x.real.is_a?(Float) then (x.real!=Float::INFINITY && !(x.real.nan?)) elsif(x.imaginary.is_a?(Float)) then x.imaginary!=Float::INFINITY && !(x.imaginary.nan?) else true end) else true end && if (x.real.is_a?(Rational) && x.imaginary.is_a?(Float)) then !x.imaginary.nan? else true end}
+
+RDL.type :Fixnum, :to_s, '() -> String', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :inspect, '() -> String', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :magnitude, '() -> Integer r {{ r>=0 }}', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :modulo, '(Fixnum x {{ x!=0 }}) -> Fixnum', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :modulo, '(Bignum x {{ x!=0 }}) -> Integer', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :modulo, '(Float x {{ x!=0 }}) -> Float', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :modulo, '(Rational x {{ x!=0 }}) -> Rational', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :modulo, '(BigDecimal x {{ x!=0 }}) -> BigDecimal', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :next, '() -> Integer', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :odd?, '() -> %bool', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :size, '() -> Fixnum', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :succ, '() -> Integer', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :to_f, '() -> Float', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :zero?, '() -> %bool', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :ceil, '() -> Integer', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :denominator, '() -> Fixnum r {{ r==1 }}', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :floor, '() -> Integer', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :numerator, '() -> Fixnum', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :quo, '(Integer x {{ x!=0 }}) -> Rational', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :quo, '(Float x {{ x!=0 }}) -> Float', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :quo, '(Rational x {{ x!=0 }}) -> Rational', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :quo, '(BigDecimal x {{ x!=0 }}) -> BigDecimal', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :quo, '(Complex x {{ x!=0 }}) -> Complex', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.pre(:Fixnum, :quo, version: RDL::Globals::FIXBIG_VERSIONS) { |x| if (x.real.is_a?(BigDecimal)||x.imaginary.is_a?(BigDecimal)) then (if x.real.is_a?(Float) then (x.real!=Float::INFINITY && !(x.real.nan?)) elsif(x.imaginary.is_a?(Float)) then x.imaginary!=Float::INFINITY && !(x.imaginary.nan?) else true end) else true end && if (x.real.is_a?(Rational) && x.imaginary.is_a?(Float)) then !x.imaginary.nan? else true end}
+
+RDL.type :Fixnum, :rationalize, '() -> Rational', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :rationalize, '(%numeric) -> Rational', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :round, '() -> Integer', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :round, '(%numeric) -> %numeric', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.pre(:Fixnum, :round, version: RDL::Globals::FIXBIG_VERSIONS) { |x| x!=0 && if x.is_a?(Complex) then x.imaginary==0 && (if x.real.is_a?(Float)||x.real.is_a?(BigDecimal) then !x.real.infinite? && !x.real.nan? else true end) elsif x.is_a?(Float) then x!=Float::INFINITY && !x.nan? elsif x.is_a?(BigDecimal) then x!=BigDecimal::INFINITY && !x.nan? else true end} #Also, x must be in range [-2**31, 2**31].
+
+RDL.type :Fixnum, :to_i, '() -> Fixnum', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :to_r, '() -> Rational', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :truncate, '() -> Integer', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :angle, '() -> %numeric', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.post(:Fixnum, :angle, version: RDL::Globals::FIXBIG_VERSIONS) { |r,x| r == 0 || r == Math::PI}
+
+RDL.type :Fixnum, :arg, '() -> %numeric', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.post(:Fixnum, :arg, version: RDL::Globals::FIXBIG_VERSIONS) { |r,x| r == 0 || r == Math::PI}
+
+RDL.type :Fixnum, :equal?, '(Object) -> %bool', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :eql?, '(Object) -> %bool', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :hash, '() -> Integer', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :phase, '() -> %numeric', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :abs2, '() -> Integer r {{ r>=0 }}', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :conj, '() -> Fixnum', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :conjugate, '() -> Fixnum', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :imag, '() -> Fixnum r {{ r==0 }}', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :imaginary, '() -> Fixnum r {{ r==0 }}', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :real, '() -> Fixnum', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :real?, '() -> true', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :to_c, '() -> Complex r {{ r.imaginary == 0 }}', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :remainder, '(Fixnum x {{ x!=0 }}) -> Fixnum r {{ r>0 }}', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :remainder, '(Bignum x {{ x!=0 }}) -> Fixnum r {{ r>0 }}', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :remainder, '(Float x {{ x!=0 }}) -> Float', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :remainder, '(Rational x {{ x!=0 }}) -> Rational r {{ r>0 }}', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.type :Fixnum, :remainder, '(BigDecimal x {{ x=0 }}) -> BigDecimal', version: RDL::Globals::FIXBIG_VERSIONS
+
+RDL.type :Fixnum, :coerce, '(%numeric) -> [%real, %real]', version: RDL::Globals::FIXBIG_VERSIONS
+RDL.pre(:Fixnum, :coerce, version: RDL::Globals::FIXBIG_VERSIONS) { |x| if x.is_a?(Complex) then x.imaginary==0 else true end}

data/lib/types/core/float.rb

@@ -0,0 +1,199 @@
+RDL.nowrap :Float
+
+RDL.type :Float, :%, '(Integer x {{ x != 0 }}) -> Float'
+RDL.type :Float, :%, '(Float x {{ x != 0 }}) -> Float'
+RDL.type :Float, :%, '(Rational x {{ x != 0 }}) -> Float'
+RDL.type :Float, :%, '(BigDecimal x {{ x != 0 && !self.infinite? && !self.nan? }}) -> BigDecimal'
+
+RDL.type :Float, :*, '(Integer) -> Float'
+RDL.type :Float, :*, '(Float) -> Float'
+RDL.type :Float, :*, '(Rational) -> Float'
+RDL.type :Float, :*, '(BigDecimal x {{ !self.infinite? && !self.nan? }}) -> BigDecimal'
+RDL.type :Float, :*, '(Complex) -> Complex'
+RDL.pre(:Float, :*) { |x| if (x.real.is_a?(BigDecimal)||x.imaginary.is_a?(BigDecimal)) then (if x.real.is_a?(Float) then (x.real!=Float::INFINITY && !(x.real.nan?)) elsif(x.imaginary.is_a?(Float)) then x.imaginary!=Float::INFINITY && !(x.imaginary.nan?) else true end) && self!=Float::INFINITY && !(self.nan?) else true end} #can't have a complex with part BigDecimal, other part infinity/NAN
+
+RDL.type :Float, :**, '(Integer) -> Float'
+RDL.type :Float, :**, '(Float) -> %numeric'
+RDL.type :Float, :**, '(Rational) -> %numeric'
+RDL.type :Float, :**, '(BigDecimal) -> BigDecimal'
+RDL.pre(:Float, :**) { |x| x!=BigDecimal::INFINITY && if self<0 then x<=-1||x>=0 else true end}
+RDL.post(:Float, :**) { |x| x.real?}
+RDL.type :Float, :**, '(Complex) -> Complex'
+RDL.pre(:Float, :**) { |x| x != 0 && if (x.real.is_a?(BigDecimal)||x.imaginary.is_a?(BigDecimal)) then (if x.real.is_a?(Float) then (x.real!=Float::INFINITY && !(x.real.nan?)) elsif(x.imaginary.is_a?(Float)) then x.imaginary!=Float::INFINITY && !(x.imaginary.nan?) else true end) && self!=Float::INFINITY && !(self.nan?) else true end}
+
+RDL.type :Float, :+, '(Integer) -> Float'
+RDL.type :Float, :+, '(Float) -> Float'
+RDL.type :Float, :+, '(Rational) -> Float'
+RDL.type :Float, :+, '(BigDecimal x {{ !self.infinite? && !self.nan? }}) -> BigDecimal'
+RDL.type :Float, :+, '(Complex) -> Complex'
+RDL.pre(:Float, :+) { |x| if x.real.is_a?(BigDecimal) then self!=Float::INFINITY && !(self.nan?) else true end}
+
+RDL.type :Float, :-, '(Integer) -> Float'
+RDL.type :Float, :-, '(Float) -> Float'
+RDL.type :Float, :-, '(Rational) -> Float'
+RDL.type :Float, :-, '(BigDecimal x {{ !self.infinite? && !self.nan? }}) -> BigDecimal'
+RDL.type :Float, :-, '(Complex) -> Complex'
+RDL.pre(:Float, :-) { |x| if x.real.is_a?(BigDecimal) then self!=Float::INFINITY && !(self.nan?) else true end}
+
+RDL.type :Float, :-@, '() -> Float'
+
+RDL.type :Float, :+@, '() -> Float'
+
+RDL.type :Float, :/, '(Integer x {{ x != 0 }}) -> Float'
+RDL.type :Float, :/, '(Float x {{ x != 0 }}) -> Float'
+RDL.type :Float, :/, '(Rational x {{ x != 0 }}) -> Float'
+RDL.type :Float, :/, '(BigDecimal x {{ x != 0 && !self.infinite? && !self.nan? }}) -> BigDecimal'
+RDL.type :Float, :/, '(Complex x {{ x != 0 }}) -> Complex'
+RDL.pre(:Float, :/) { |x| if (x.real.is_a?(BigDecimal)||x.imaginary.is_a?(BigDecimal)) then (if x.real.is_a?(Float) then (x.real!=Float::INFINITY && !(x.real.nan?)) elsif(x.imaginary.is_a?(Float)) then x.imaginary!=Float::INFINITY && !(x.imaginary.nan?) else true end) && self!=Float::INFINITY && !(self.nan?) else true end && if (x.real.is_a?(Rational) && x.imaginary.is_a?(Float)) then !x.imaginary.nan? else true end}
+
+RDL.type :Float, :<, '(Integer) -> %bool'
+RDL.type :Float, :<, '(Float) -> %bool'
+RDL.type :Float, :<, '(Rational) -> %bool'
+RDL.type :Float, :<, '(BigDecimal x {{ !self.nan? && !self.infinite? }}) -> %bool'
+
+RDL.type :Float, :<=, '(Integer) -> %bool'
+RDL.type :Float, :<=, '(Float) -> %bool'
+RDL.type :Float, :<=, '(Rational) -> %bool'
+RDL.type :Float, :<=, '(BigDecimal x {{ !self.nan? && !self.infinite? }}) -> %bool'
+
+RDL.type :Float, :<=>, '(Integer) -> Object'
+RDL.post(:Float, :<=>) { |x| x == -1 || x==0 || x==1}
+RDL.type :Float, :<=>, '(Float) -> Object'
+RDL.post(:Float, :<=>) { |x| x == -1 || x==0 || x==1}
+RDL.type :Float, :<=>, '(Rational) -> Object'
+RDL.post(:Float, :<=>) { |x| x == -1 || x==0 || x==1}
+RDL.type :Float, :<=>, '(BigDecimal x {{ !self.infinite? && !self.nan? }}) -> Object'
+RDL.post(:Float, :<=>) { |x| x == -1 || x==0 || x==1}
+
+RDL.type :Float, :==, '(Object) -> %bool'
+RDL.pre(:Float, :==) { |x| if (x.is_a?(BigDecimal)) then (!self.nan? && self!=Float::INFINITY) else true end}
+
+RDL.type :Float, :===, '(Object) -> %bool'
+RDL.pre(:Float, :===) { |x| if (x.is_a?(BigDecimal)) then (!self.nan? && self!=Float::INFINITY) else true end}
+
+RDL.type :Float, :>, '(Integer) -> %bool'
+RDL.type :Float, :>, '(Float) -> %bool'
+RDL.type :Float, :>, '(Rational) -> %bool'
+RDL.type :Float, :>, '(BigDecimal x {{ !self.infinite? && !self.nan? }}) -> %bool'
+
+RDL.type :Float, :>=, '(Integer) -> %bool'
+RDL.type :Float, :>=, '(Float) -> %bool'
+RDL.type :Float, :>=, '(Rational) -> %bool'
+RDL.type :Float, :>=, '(BigDecimal x {{ !self.infinite? && !self.nan? }}) -> %bool'
+
+RDL.type :Float, :abs, '() -> Float r {{ r>=0 || (if self.nan? then r.nan? end) }}'
+
+RDL.type :Float, :abs2, '() -> Float r {{ r>=0 || (if self.nan? then r.nan? end) }}'
+
+RDL.type :Float, :div, '(Integer x {{ x != 0 && !self.infinite? && !self.nan? }}) -> Integer'
+RDL.type :Float, :div, '(Float x {{ x != 0 && !self.infinite? && !self.nan? }}) -> Integer'
+RDL.type :Float, :div, '(Rational x {{ x != 0 && !self.infinite? && !self.nan? }}) -> Integer'
+RDL.type :Float, :div, '(BigDecimal x {{ x != 0 && !x.nan? && !self.infinite? && !self.nan? }}) -> Integer'
+
+RDL.type :Float, :divmod, '(%real) -> [%real, %real]'
+RDL.pre(:Float, :divmod) { |x| x != 0 && if x.is_a?(Float) then !x.nan? else true end && self!=Float::INFINITY && !self.nan?}
+
+RDL.type :Float, :angle, '() -> %numeric'
+RDL.post(:Float, :angle) { |r,x| r == 0 || r == Math::PI || r == Float::NAN}
+
+RDL.type :Float, :arg, '() -> %numeric'
+RDL.post(:Float, :arg) { |r,x| r == 0 || r == Math::PI || r == Float::NAN}
+
+RDL.type :Float, :ceil, '() -> Integer'
+RDL.pre(:Float, :ceil) { !self.infinite? && !self.nan?}
+
+RDL.type :Float, :coerce, '(%real) -> [Float, Float]'
+
+RDL.type :Float, :denominator, '() -> Integer r {{ r>0 }}'
+
+RDL.type :Float, :equal?, '(Object) -> %bool'
+
+RDL.type :Float, :eql?, '(Object) -> %bool'
+
+RDL.type :Float, :fdiv, '(Integer) -> Float'
+RDL.type :Float, :fdiv, '(Float) -> Float'
+RDL.type :Float, :fdiv, '(Rational) -> Float'
+RDL.type :Float, :fdiv, '(BigDecimal x {{ !self.infinite? && !self.nan? }}) -> BigDecimal'
+RDL.type :Float, :fdiv, '(Complex) -> Complex'
+RDL.pre(:Float, :fdiv) { |x| x != 0 && if (x.real.is_a?(BigDecimal)||x.imaginary.is_a?(BigDecimal)) then (if x.real.is_a?(Float) then (x.real!=Float::INFINITY && !(x.real.nan?)) elsif(x.imaginary.is_a?(Float)) then x.imaginary!=Float::INFINITY && !(x.imaginary.nan?) else true end) && self!=Float::INFINITY && !(self.nan?) else true end && if (x.real.is_a?(Rational) && x.imaginary.is_a?(Float)) then !x.imaginary.nan? else true end}
+
+RDL.type :Float, :finite?, '() -> %bool'
+
+RDL.type :Float, :floor, '() -> Integer'
+RDL.pre(:Float, :ceil) { !self.infinite? && !self.nan?}
+
+RDL.type :Float, :hash, '() -> Integer'
+
+RDL.type :Float, :infinite?, '() -> Object'
+RDL.post(:Float, :infinite?) { |r,x| r == -1 || r == 1 || r == nil }
+
+RDL.type :Float, :to_s, '() -> String'
+RDL.type :Float, :inspect, '() -> String'
+
+RDL.type :Float, :magnitude, '() -> Float'
+RDL.post(:Float, :magnitude) { |r,x| r>=0 }
+
+RDL.type :Float, :modulo, '(Integer x {{ x != 0 }}) -> Float'
+RDL.type :Float, :modulo, '(Float x {{ x != 0 }}) -> Float'
+RDL.type :Float, :modulo, '(Rational x {{ x != 0 }}) -> Float'
+RDL.type :Float, :modulo, '(BigDecimal x {{ x != 0 && !self.infinite? && !self.nan? }}) -> BigDecimal'
+
+RDL.type :Float, :nan?, '() -> %bool'
+
+RDL.type :Float, :next_float, '() -> Float'
+
+RDL.type :Float, :numerator, '() -> Integer'
+
+RDL.type :Float, :phase, '() -> %numeric'
+RDL.post(:Float, :phase) { |r,x| r == 0 || r == Math::PI || r == Float::NAN}
+
+RDL.type :Float, :prev_float, '() -> Float'
+
+RDL.type :Float, :quo, '(Integer x {{ x != 0 }}) -> Float'
+RDL.type :Float, :quo, '(Float x {{ x != 0 }}) -> Float'
+RDL.type :Float, :quo, '(Rational x {{ x != 0 }}) -> Float'
+RDL.type :Float, :quo, '(BigDecimal x {{ x != 0 && !self.infinite? && !self.nan? }}) -> BigDecimal'
+RDL.type :Float, :quo, '(Complex x {{ x != 0 }}) -> Complex'
+RDL.pre(:Float, :quo) { |x| if (x.real.is_a?(BigDecimal)||x.imaginary.is_a?(BigDecimal)) then (if x.real.is_a?(Float) then (x.real!=Float::INFINITY && !(x.real.nan?)) elsif(x.imaginary.is_a?(Float)) then x.imaginary!=Float::INFINITY && !(x.imaginary.nan?) else true end) && self!=Float::INFINITY && !(self.nan?) else true end && if (x.real.is_a?(Rational) && x.imaginary.is_a?(Float)) then !x.imaginary.nan? else true end}
+
+RDL.type :Float, :rationalize, '() -> Rational'
+RDL.pre(:Float, :rationalize) { !self.infinite? && !self.nan?}
+
+RDL.type :Float, :rationalize, '(%numeric) -> Rational'
+RDL.pre(:Float, :rationalize) { |x| if x.is_a?(Float) then x!=Float::INFINITY && !x.nan? else true end}
+
+RDL.type :Float, :round, '() -> Integer'
+RDL.pre(:Float, :round) { !self.infinite? && !self.nan?}
+
+RDL.type :Float, :round, '(%numeric) -> %numeric'
+RDL.pre(:Float, :round) { |x| x != 0 && if x.is_a?(Complex) then x.imaginary==0 && (if x.real.is_a?(Float)||x.real.is_a?(BigDecimal) then !x.real.infinite? && !x.real.nan? else true end) elsif x.is_a?(Float) then x!=Float::INFINITY && !x.nan? elsif x.is_a?(BigDecimal) then x!=BigDecimal::INFINITY && !x.nan? else true end} #Also, x must be in range [-2**31, 2**31].
+
+RDL.type :Float, :to_f, '() -> Float'
+
+RDL.type :Float, :to_i, '() -> Integer'
+RDL.pre(:Float, :to_i) { !self.infinite? && !self.nan?}
+
+RDL.type :Float, :to_int, '() -> Integer'
+RDL.pre(:Float, :to_int) { !self.infinite? && !self.nan?}
+
+RDL.type :Float, :to_r, '() -> Rational'
+RDL.pre(:Float, :to_r) { !self.infinite? && !self.nan?}
+
+RDL.type :Float, :truncate, '() -> Integer'
+
+RDL.type :Float, :zero?, '() -> %bool'
+
+RDL.type :Float, :conj, '() -> Float'
+RDL.type :Float, :conjugate, '() -> Float'
+
+RDL.type :Float, :imag, '() -> Integer r {{ r==0 }}'
+RDL.type :Float, :imaginary, '() -> Integer r {{ r==0 }}'
+
+RDL.type :Float, :real, '() -> Float'
+
+RDL.type :Float, :real?, '() -> true'
+
+RDL.type :Float, :to_c, '() -> Complex r {{ r.imaginary == 0 }}'
+
+RDL.type :Float, :coerce, '(%numeric) -> [Float, Float]'
+RDL.pre(:Float, :coerce) { |x| if x.is_a?(Complex) then x.imaginary==0 else true end}