Divide eighty-eight by two | LiLYDB