And so here if this were volt / lsb it would be 
PIOS_ADC_VREF_INT (?) / (1<<12)

alternatively we can define LSB / V so it can return an int instead of a float ...