rewrite LInt with L<Int>.