Ter informatie kan ik u vertellen dat het maken van de BigDecimal die terugkomt uit de database wordt gedaan door de implementatie van de eigen JDBC-driver van de 'getBigDecimal'-methode van de databasespecifieke 'ResultSet'-subklasse.
Ik ontdekte dit door met een debugger door de Hibernate-broncode te stappen, terwijl ik probeerde het antwoord te vinden op mijn eigen vraag .