Renamed stdint header and made bart() function return results identical to original, particularly first.sigma.