Fixed: list_prb:range works with float arguments. Need to prove primality.
Added: arith_prb solutions, so far only #1.