Talk:Continuous semiring