}
    public static double dec_doublele( byte[] src, int si )
    {
        return Double.longBitsToDouble( dec_uint64le( src, si ));
    }
    public static double dec_doublebe( byte[] src, int si )
    {
        return Double.longBitsToDouble( dec_uint64be( src, si ));
    }

    /* Encode times
     */

    }


    public static double dec_doublele ( byte[] src, int si ) {
        return Double.longBitsToDouble(dec_uint64le(src, si));
    }


    public static double dec_doublebe ( byte[] src, int si ) {
        return Double.longBitsToDouble(dec_uint64be(src, si));
    }


    /*
     * Encode times
     */