My biggest problem with fbsd in the rpi is that it's really hard to cross-compile ports for arm, and compiling everything in the rpi takes a lot of time (I think it was half a day to compile tmux in the rpi A).
let z be: (2^67 + 2)/10.
z = 14757395258967641293L
n/10 = floor(z * n/ 2^67)
(2^67 + 2)/10
(n * 2^67)/10 + 2 * n/10
(n * 2^67)/(10 * 2^67) + 2 * n / (10 * 2^67)
n/10 + n/(10 * 2^66) [1]
floor(x/d + c) == floor(x/d) if c < 1/d
n/(10 * 2^66) < 1/10
floor(z * n / 2^67) = n/10.
