Source position: gnomepaper.inc line 26
function gnome_paper_convert_to_points(
othervalue: Double;
aunit: PGnomeUnit
):Double;