K 10
svn:author
V 2
br
K 8
svn:date
V 27
2016-02-12T14:29:14.451277Z
K 7
svn:log
V 126
Use __uint64_t type for floating point registers
as compiler don't know about __uint128_t yet.

Discussed with:	theraven, kib

END