home *** CD-ROM | disk | FTP | other *** search
-
- const int2real_tag: string[90]
- = #0'@(#)CURRENT_FILE LAST_UPDATE Convert unsigned int to real 1.0'#0;
- #log Convert unsigned int to real 1.0
-
- (*
- * convert unsigned integer to real
- *
- *)
-
- function int_to_real(i: integer): real;
- begin
- if i = $8000 then
- int_to_real := 32768.0
- else if i < 0 then
- int_to_real := 65536.0 + int(i)
- else
- int_to_real := int(i);
- end;
-
-