Pull in rational implementation and run gofmt