Can this new math library be implemented for Mutter via an Gnome extension? Or would Mutter have to implement directly?