Test for the lower bound and casting