corrections for fp64 and gl_sharing (partial)