Solved 15.
Solved 16 by cheating with Ocamls Num module. :)
Solved 16 in C as well.
P17 wip.