merge w. giulio (master)

why reduced precision?