branches/fault: adjusted double type data precision