Use double instead of float in function calculation
a bit better default for random
Let's get randon number seed from /dev/urandom instead of /dev/random
Merge remote-tracking branch '01/devel' into for-devel
cleanup coverage && heuristic proxy