Integer package:Agda

Written to interface file.
Obtained from interface file.
Total function to convert an integer to a character. Maps surrogate code points to the replacement character U+FFFD.
Checks whether or not the Double is within a safe range of operation.