Test and bugfix real128