Fix error
Rich interface example Rational
Update sbt