Lucas numbers