Tests for fractional prologue
suppress four tests for unimplemented things, implement gcd/2, docs