A Java implementation of Dec64