now HomalgFieldOfRationalsInLibSing is the default